高级搜索

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码
排序:
相关度
发表时间
每页显示:
10
20
30
50
平面图像立体化研究
朱庆生, 刘然, 许小艳, 谢洪波, 杨珺
2007, 29(12): 2814-2818. doi: 10.3724/SP.J.1146.2006.00434  刊出日期:2007-12-19
关键词: 图像处理;立体视觉;双目立体视觉;平面图像立体化;转换
将平面图像转换成立体图像很有意义。Hou等人(2002)提出了一种平面图像立体化方法,称为Hou方法。在这个方法中Hou等人使用随机变量等参数控制转换过程,但没有讨论这些参数对立体效果的影响。该文利用Hou方法在标准的计算机监视器上对含有心理深度暗示的平面图像进行了立体化,给出了评价转换后的立体效果的定量指标,并讨论了各参数对立体效果的影响。实验结果表明:当随机变量矩阵中的每一个随机变量都服从同一种均匀分布时,随机变量的取值对立体效果没有多大的影响;当监视器屏幕与观察者的距离为一个合适的值(例如1m)时,图像子块的个数取不同的值对立体效果没有多大的影响。
一种(41, 21, 9)平方剩余码的快速代数译码算法
吴怡, 罗春兰, 张新球, 林潇, 徐哲鑫
2018, 40(8): 1949-1955. doi: 10.11999/JEIT170983  刊出日期:2018-08-01
关键词: 平方剩余码, 代数译码, 牛顿恒等式, 未知校验子, 错误位置多项式
为了降低译码时的计算复杂度以及减少译码时间,该文通过对牛顿恒等式进行推导得到了(41, 21, 9) QR码不需要计算未知校验子就可求得错误位置多项式系数的代数译码算法,同时也针对改善部分客观地给出了计算复杂度的理论分析。此外,为了进一步降低译码时间,提出判定接收码字中出现不同错误个数的更简化的判断条件。仿真结果表明该文提出算法在不降低Lin算法所达到的译码性能的前提下,降低了译码时间。
适于复杂信息融合系统的近似联合概率数据关联算法
刘城霞
2003, 25(10): 1355-1360.  刊出日期:2003-10-19
关键词: 近似联合概率数据关联; 最近邻法; 数据融合
文中在B.Zhou提出的直接概率计算(DC)和近似概率计算(AC)算法基础上提出了一种新的近似多传感器多目标联合概率数据关联算法。近似概率法是以一个目标为中心的近似聚为构造互联事件的起点,并在计算中将DC和AC结合得到的一种全邻的点迹-航迹关联算法。它能有效地提高目标点迹-航迹的关联正确率,在计算时耗上较完全联合概率法快得多,能满足工程中实时性的要求,将其在杂波下目标密集、航迹复杂的数据融合系统中进行实验,对关联正确率,关联耗时等与最近邻法进行了比较,效果较好。
基于ATL的公平电子商务协议形式化分析
文静华, 李祥, 张焕国, 梁敏, 张梅
2007, 29(4): 901-905. doi: 10.3724/SP.J.1146.2005.01088  刊出日期:2007-04-19
关键词: 电子商务协议;公平性;安全性;形式化分析;ATL
针对传统时序逻辑LTL,CTL及CTL*等把协议看成封闭系统进行分析的缺点,Kremer博士(2003)提出用一种基于博弈的ATL(Alternating-time Temporal Logic)方法分析公平电子商务协议并对几个典型的协议进行了公平性等方面的形式化分析。本文讨论了ATL逻辑及其在电子商务协议形式化分析中的应用,进一步扩展了Kremer博士的方法,使之在考虑公平性等特性的同时能够分析协议的安全性。最后本文用新方法对Zhou等人(1999)提出的 ZDB协议进行了严格的形式化分析,结果发现该协议在非保密通道下存在两个可能的攻击:保密信息泄露和重放攻击。